Logic programming is a declarative programming paradigm and research field within computer science and artificial intelligence that views computation as automated deduction from a logical knowledge base. It investigates the representation of problems and knowledge using formal logic and the development of computational systems that derive solutions by applying logical inference rules, emphasizing *what* the desired outcome is rather than prescribing the explicit steps for computation.